A high-performance HTML and text editor for the Mac